Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
411	A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-08-25 14:30:22 Software engineering Computer programming Declarative programming Type theory Functional programming Procedural programming languages Data types Object-oriented programming Monad ALGOL 68 Polymorphism Abstract type
412	WinPOS Programmer's Guide (eng) Add to Reading List Source URL: www.nppmera.ru Language: English - Date: 2012-05-28 03:04:18 Software Computer programming Scripting languages Object-oriented programming languages Integrated development environments Internet Explorer Procedural programming languages VBScript JavaScript Delphi Object Pascal Plug-in
413	OCaml-Java Cheat Sheet ocamlbuild (extended) Field accesses Add to Reading List Source URL: www.ocamljava.org Language: English - Date: 2015-06-08 16:14:20 Computing Software engineering Computer programming Object-oriented programming languages Functional languages Cross-platform software Programming languages Java platform OCaml Java Bytecode Caml
414	DRAGONFLY: A JAVA-BASED IAMC CLIENT PROTOTYPE WEIDONG LIAO, PAUL S. WANG Institute for Computational Mathematics Department of Mathematics & Computer Science Kent State University Kent, Ohio 44242, U.S.A. Add to Reading List Source URL: icm.mcs.kent.edu Language: English - Date: 2001-04-01 20:43:16 Software Application software Mathematical software Cross-platform software Functional languages Formula editors Mathematical markup languages MathML Maple Wolfram Mathematica Symbolic computation Design Science
415	Language Fuzzing Using Constraint Logic Programming Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Declarative programming Computer programming Constraint logic programming Constraint programming Logic programming Programming paradigms Formal languages CLP Prolog Context-free grammar JavaScript
416	FoCaLiZe! Programming and Proving! A Bit Under the Hood François Pessaux - ENSTA ParisTech (U2IS) Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-14 11:22:28 Software engineering Computer programming Programming language theory Functional languages Functional programming Procedural programming languages Mathematical proof Coq OCaml Natural deduction Mathematical logic ALGOL 68
417	Speaking for the Trees: a New (Old) Approach to Languages and Syntax by Moss Prescott B.A., University of California Berkeley, 2004 Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2010-12-16 12:20:46 Computing Software engineering Syntax Computer programming Compiler construction Parsing Formal languages Source code Parse tree Abstract syntax tree Abstract syntax S-expression
418	Behavior-Driven Development in Haskell a tutorial introduction Simon Hengel Wimdu GmbH Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:32 Software engineering Computer programming Software development Functional languages Haskell Functional programming Behavior-driven development Monad FIBS Fib Subroutine Standard Performance Evaluation Corporation
419	A first go at Perl 6 “Weather App” Florent Mara <> Introduction Add to Reading List Source URL: wellington.pm.org Language: English - Date: 2016-08-10 05:03:50 Software engineering Software Computer programming Perl 6 Cross-platform software High-level programming languages Scripting languages Perl Rakudo Perl 6 Outline of Perl
420	FILE FORMAT GUIDELINES FOR MANAGEMENT AND LONG-TERM RETENTION OF ELECTRONIC RECORDS Add to Reading List Source URL: digitalpreservation.ncdcr.gov Language: English - Date: 2016-05-02 15:16:15 Computing Computer file formats Data Open formats Markup languages ISO standards Electronic documents PDF/A Portable Document Format MPEG-4 Office Open XML File format

UPDATE